Sequestrated Church Property

Church Property Disputes in the Civil Courts

T HE EXTENT to which civil courts may assume jurisdiction of ecclesiastical matters in church property disputes1 was involved in the North Carolina case of Reid v. Johnston. 2 There, a Baptist church, organized in 1894, -received land on a conveyance which attached no doctrinal limitations to its use. In 1953, a new pastor, supported by a majority of the congregation, led a movement to withdraw...

The Constitutional Dimensions of Church Property Disputes

Simultaneous Critical Pairs and Church-Rosser Property

We introduce simultaneous critical pairs, which account for simultaneous overlapping of several rewrite rules. Based on this, we introduce a new CR-criterion widely applicable to arbitrary left-linear term rewriting systems. Our result extends the well-known criterion given by Huet (1980), Toyama (1988), and Oostrom (1997) and incomparable with other well-known criteria for left-linear systems.

Church-Rosser Property and Homology of Monoids

We present a result of C. C. Squier relating two topics: • the canonical rewriting systems, which have been widely studied by computer scientists as a tool for solving word problems, • the homology of groups (more generally of monoids), which belongs to the core of pure mathematics, on the borders of algebra and topology. It is natural to ask whether finite canonical systems are the only way to...

MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property

The transitive coercing semantic model for the execution of the MONSTR generalised term graph rewriting language is defined. Of all the operational semantics for MONSTR that one might consider, this one has the cleanest properties. Under intuitively obvious conditions for executions involving redexes permitted to overlap sufficiently to allow the programming of deterministic synchronisations, a...